书籍列表

Tools and algorithms for the construction and analysis of systems 7th international conference 封面
Tools and algorithms for th...

作者：Tiziana Margaria ...
Leveraging applications of formal methods first international symposium 封面
Leveraging applications of ...

作者：Tiziana Margaria-...
Fundamental approaches to software engineering 7th international conference 封面
Fundamental approaches to s...

作者：Michel Wermelinge...
返回首页